Disjunctive Normal Form [DNF] in Discrete Mathematics[